Type-Directed Compilation for Multicore Programming

In this paper, we outline a general picture of our ongoing work on a compilation and execution framework for a class of multicore CPUs [10,21,22]. Our focus is to harness the power of concurrency and asynchrony in one of the major forms of multicore CPUs based on distributed, noncoherent memory [22], using the well-known technology of type-directed compilation [19]. The key idea is to regard explicit asynchronous data transfer among local caches as typed communication among processes. By typing imperative processes with a variant of session types [12,26], we obtain both type-safe and efficient compilation into processes distributed over multiple cores with local memories.